1. Identity statement | |
Reference Type | Journal Article |
Site | mtc-m21b.sid.inpe.br |
Holder Code | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Identifier | 8JMKD3MGP3W34P/3L9LK8B |
Repository | sid.inpe.br/mtc-m21b/2016/03.03.16.36 (restricted access) |
Last Update | 2016:07.13.12.49.31 (UTC) simone |
Metadata Repository | sid.inpe.br/mtc-m21b/2016/03.03.16.36.13 |
Metadata Last Update | 2018:06.04.02.40.36 (UTC) administrator |
DOI | 10.1007/s11334-015-0267-1 |
ISSN | 1614-5046 |
Citation Key | RomeroSchnFerr:2016:SeSpSy |
Title | Semantics in space systems architectures |
Year | 2016 |
Month | Mar. |
Access Date | 2024, May 18 |
Type of Work | journal article |
Secondary Type | PRE PI |
Number of Files | 1 |
Size | 431 KiB |
|
2. Context | |
Author | 1 Romero, Alessandro Gerlinger 2 Schneider, Klaus 3 Ferreira, Mauricio Gonçalves Vieira |
Resume Identifier | 1 2 3 8JMKD3MGP5W/3C9JHT8 |
Group | 1 CMC-ETES-SPG-INPE-MCTI-GOV-BR 2 3 CRC-CRC-INPE-MCTI-GOV-BR |
Affiliation | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 University of Kaiserslautern 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
Author e-Mail Address | 1 romgerale@yahoo.com.br 2 klaus.schneider@cs.uni-kl.de 3 mauricio.ferreira@inpe.br |
Journal | Innovations in Systems and Software Engineering |
Volume | 12 |
Number | 1 |
Pages | 27-40 |
Secondary Mark | B3_INTERDISCIPLINAR B3_ENGENHARIAS_IV B3_ENGENHARIAS_III B3_CIÊNCIA_DA_COMPUTAÇÃO |
History (UTC) | 2016-03-03 16:36:13 :: simone -> administrator :: 2016-07-04 12:29:58 :: administrator -> simone :: 2016 2016-12-22 14:29:22 :: simone -> administrator :: 2016 2018-06-04 02:40:36 :: administrator -> simone :: 2016 |
|
3. Content and structure | |
Is the master or a copy? | is the master |
Content Stage | completed |
Transferable | 1 |
Content Type | External Contribution |
Version Type | finaldraft |
Keywords | UML fUML Synchronous Modeling UPDM MODAF DODAF |
Abstract | Costs, life cycles, technologies and agreements between stakeholders and organizations make space systems unique with respect to the complexity. A commonly accepted technique to address part of this complexity is to model and to maintain space systems architectures through the life cycle of their space programs. The benefits may range from supporting consistent model definitions and maintenance up to supporting analysis and verification. Space systems architectures have been modeled using UPDM (unified profile for DoDAF And MODAF; a UML profile). In fact, UPDM argues that it provides a clearer understanding of the semantics behind specific views and viewpoints. Nonetheless, while UML defines its semantics imprecisely using plain text and variation points, UPDM does not define any semantics. In this paper, we evaluate an extension of fUML (semantics of a foundational subset for executable UML models) as a semantics for space systems architectures. The extension of fUML as a synchronous language (synchronous fUML) provides a limited, but formally precise and deterministic, form to describe structure and behavior in UML. Through the combination of this semantics with UPDM, a precise language supporting a standardized meta-model emerges for the definition of space systems architectures. At the end, a simplified case study covering the operational view (OV-*) is presented. Our initial results show that synchronous fUML is able to offer a precise and deterministic semantics for UPDM. |
Area | ETES |
Arrangement 1 | urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CMC > Semantics in space... |
Arrangement 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > Semantics in space... |
doc Directory Content | access |
source Directory Content | there are no files |
agreement Directory Content | |
|
4. Conditions of access and use | |
Language | en |
Target File | romero_semantics.pdf |
User Group | simone |
Reader Group | administrator simone |
Visibility | shown |
Read Permission | deny from all and allow from 150.163 |
Update Permission | not transferred |
|
5. Allied materials | |
Linking | 8JMKD3MGP3W/3HD9A3H |
Mirror Repository | urlib.net/www/2011/03.29.20.55 |
Next Higher Units | 8JMKD3MGPCW/3F2UALS 8JMKD3MGPCW/3F3PAJE |
Citing Item List | sid.inpe.br/mtc-m21/2012/07.13.14.56.30 3 sid.inpe.br/bibdigital/2013/10.14.00.13 2 sid.inpe.br/bibdigital/2013/10.19.00.29 1 |
Dissemination | WEBSCI; PORTALCAPES; COMPENDEX; SCOPUS. |
Host Collection | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 |
|
6. Notes | |
Empty Fields | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey session shorttitle sponsor subject tertiarytype url |
|
7. Description control | |
e-Mail (login) | simone |
update | |
|